Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
571	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation
572	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
573	An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English Semantics Computational linguistics Generative linguistics Type theory Logic in computer science Head-driven phrase structure grammar Minimal recursion semantics Valency Dependency grammar Categorial grammar Structure Syntax
574	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
575	Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CAMarch 2015 Add to Reading List Source URL: www.socsci.uci.edu Language: English Philosophers of science American philosophers Jeffrey A. Barrett Interpretations of quantum mechanics Many-worlds interpretation Quantum mechanics Mathematical formulation of quantum mechanics Jeffrey Bub Theoretical physics Philosophy of physics Simon Saunders Peter R. Holland
576	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
577	The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:15:41 Edsger W. Dijkstra Logistics Algorithm Mathematical logic Theoretical computer science Shortest path problem Intermodal freight transport Transport Multimodal transport Program optimization Intermodal journey planner Journey planner
578	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
579	Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2013-06-10 17:15:26 Mathematics Logic Mathematical logic Model theory Fibonacci numbers Algebraic structures Semigroup theory Fibonacci word First-order logic Semigroup Interpretation Combinatory logic
580	Low-Dimensional Embeddings of Logic Tim Rockt¨aschel§ Matko Bosnjak§ Sameer Singh† Sebastian Riedel§ § Department of Computer Science, University College London, UK † Computer Science & Engineering, University o Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-06-16 05:48:44 Logic Philosophy Reasoning Semantics Model theory Critical thinking Logical consequence Embedding Negation Inference Truth value Distributional semantics

UPDATE